航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

多点压力扫描阀测量系统在激波／湍流边界层干扰实验中的应用

多点压力测量是航空气动力研究及高性能流体机械研究中的重要测试手段。利用计算机和多点压力扫描阀系统，可以高效地完成这项任务，并可能在实验中实现数据采集及整个实验过程的自动化。我们利用ＨＰ１０００／Ａ７００计算机－ＨＰ２２５０－测控装置－压力传感器－高速扫描阀组成的测量控制系统，在超音速风洞内对激波／湍流边界层干扰产生的流场进行了快速多点压力数据采集，并取得了可靠的结果。本文对测试和校正过程中的程序设计、测试方法和应用经验进行了介绍。     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。     

利用分层测试实现无线电高度表故障诊断

针对早期无线电高度表可测性不强的问题 ,提出了分层测试的思想 ,以两种常见体制的无线电高度表为例 ,通过测试需求分析 .设计了切实可行的分层测试方案 ,从测试方法、内容、原理和结果分析等方面进行了描述。软件模拟运行表明 ,分层测试可明显提高测试深度和故障诊断率 ,有效解决高度表可测性差的问题 ,满足系统设计指标 ;相对于人工测试 ,可提高式作效率 ,缩短检测周期。     

死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议.     

航天器密封舱微重力对流传热与传质地面试验模拟方法理论分析

针对航天器密封舱内气体对流传热传质地面模拟试验问题，依据传热传质相似试验理论方法，进行了初步的理论分析，包括热缩比模型法和降压法，给出了它们相似试验的相似律及它们应用的约束条件，并从理论上定性分析了不同试验方法的优缺点。分析表明，在重力条件下，热缩比模型法在保持Reynolds数不变的前提下可明显抑制传热传质过程的温差和密度差对流动与传热传质的影响，而且抑制效果与缩比比例的三次方成正比；而降压法在保持Reynolds数不变的前提下同样可明显抑制自然对流的影响和密度差对流动与传热传质的影响，但对自然对流和传质过程的密度流的抑制效果有所不同。     

三轴气浮台转动惯量测试方法研究

提出了一种用于实测在多轴多体卫星全物理仿真中的三轴气浮台转动惯量的新方法,着重叙述其测试原理、步骤,并进行了单通道全物理仿真试验,试验结果分析表明,该方法误差较小,又无须增添专用测试设备,因而是气浮台试验中一种简单实用的转动惯量测试方法。此方法也可稍做推广即可应用于卫星在轨运行状态监测和在轨故障检测等几个研究方面。